Inductive foo := .
